<?php	if (!extension_loaded('dom')) die('skip dom extension not available');?>